newtype Writer w a = Writer (a, w)